Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University

Source URL: www.doc.ic.ac.uk

• Computing
• Computer programming
• Software engineering
• Functional languages
• High-level programming languages
• Computer access control
• Object-capability model
• JavaScript
• Heap
• Topological space
• Monad
• Caja project

Building web applications on top of encrypted data using Mylar Raluca Ada Popa, Emily Stark,† Jonas Helfer, Steven Valdez, Nickolai Zeldovich, M. Frans Kaashoek, and Hari Balakrishnan MIT CSAIL and † Meteor Developme

Source URL: people.csail.mit.edu

Small Data: Applications and Architecture Cheng-Kang Hsieh∗ , Faisal Alquaddoomi† , Fabian Okeke‡ , John P. Pollak§ , Lucky Gunasekara¶ and Deborah Estrink ∗ UCLA CSD; Los Angeles, CA, USA (

Source URL: smalldata.io

FT D RA Probabilistic Model Checking: Advances and Applications

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Mathematics
• Linear temporal logic
• Probabilistic CTL
• Computation tree logic
• Mathematical logic
• Markov decision process
• Markov chain
• IP
• Limit
• Craig interpolation

DEHN FUNCTION AND ASYMPTOTIC CONES OF ABELS’ GROUP YVES CORNULIER, ROMAIN TESSERA Abstract. We prove that Abels’ group over an arbitrary local field has a quadratic Dehn function. As applications, we exhibit connecte

Source URL: www.normalesup.org

• Geometry
• Geometric group theory
• Mathematics
• Group theory
• Combinatorics on words
• Geometric topology
• Metric geometry
• Dehn function
• Quasi-isometry
• Ultralimit
• Presentation of a group
• Finitely generated abelian group

Cryptology and Its Applications Nordic Research Training course, Bergen Zero knowledge and some applications Helger Lipmaa

Source URL: kodu.ut.ee

• Cryptography
• Computational complexity theory
• Zero-knowledge proof
• Zero knowledge
• Interactive proof system
• IP
• NP
• Cryptographic protocol
• Proof of knowledge
• Oblivious transfer

Large scale Sobolev inequalities on metric measure spaces and applications. Romain Tessera October 29, 2010 Abstract For functions on a metric measure space, we introduce a notion of

Source URL: www.normalesup.org

• Mathematical analysis
• Mathematics
• Geometry
• Metric geometry
• Sobolev spaces
• Inequalities
• Function spaces
• Measure theory
• Sobolev inequality
• Metric space
• Lp space
• Quasi-isometry

A preliminary version of this paper appears in the proceedings of EurocryptThis is the full version, which appears as IACR ePrint Archive RecordKey-Versatile Signatures and Applications: RKA, KDM and Jo

Source URL: smeiklej.com

• Cryptography
• Public-key cryptography
• Digital signature
• Signcryption
• Key
• ID-based encryption
• RSA
• Encryption

A Single-Sign-On Security Platform for Private and Decentralized Applications William Swanson, Paul Puey The Edge platform (formerly Airbitz) implements a client-side encrypted, peer-to-peer synchronized, and backed up d

Source URL: edge.app

• Computing
• Cryptography
• Internet
• Internet protocols
• Computer access control
• Internet Standards
• Cryptographic protocols
• Time-based One-time Password algorithm
• Password
• Salted Challenge Response Authentication Mechanism
• Yahoo! Messenger Protocol

BDDs for Pseudo-Boolean Constraints – Revisited Ignasi Ab´ıo, Robert Nieuwenhuis, Albert Oliveras, and Enric Rodr´ıguez-Carbonell? Abstract. Pseudo-Boolean constraints are omnipresent in practical applications, and

Source URL: www.lsi.upc.edu

• Boolean algebra
• Constraint programming
• Diagrams
• Binary decision diagram
• Model checking
• Theoretical computer science
• Mathematics
• Local consistency
• Computing
• Propositional directed acyclic graph